Walt Whitman's "Higher Progress" and Shorter Work Hours

Language and Proofs for Higher-Order SMT (Work in Progress)

Satisfiability modulo theories (SMT) solvers have throughout the years been able to cope with increasingly expressive formulas, from ground logics to full first-order logic modulo theories. Nevertheless, higher-order logic within SMT is still little explored. One main goal of the Matryoshka project, which started in March 2017, is to extend the reasoning capabilities of SMT solvers and other au...

Employment and Hours of Work

This paper develops a dynamic model of the labor market in which the degree of substitution between employment and hours of work is determined as part of a search equilibrium. Each firm chooses the demand for working hours and the number of vacancies, and the hourly wage rate is determined by Nash bargaining. A firm increases the demand for hours as recruitment becomes more costly. Labor market...

Hours of Work

Job Search, Hours Restrictions and Desired Hours of Work

We present a structural empirical job search model in which job offers are characterized by a wage rate and the length of the working week. The unemployed accept a job if the direct utility leve1 of the wage-hours combination is higher than the reservation utility level. The latter is determined by the direct utility of being unemployed (depending on the value of leisure and the benefit level) ...

Building continuity in handovers with shorter residency duty hours

As junior doctors work shorter hours in light of concerns about the harmful effects of fatigue on physician performance and health, it is imperative to consider how to ensure that patient safety is not compromised by breaks in the continuity of care. By reconceptualizing handover as a necessary bridge to continuity, and hence to safer patient care, the model of continuity-enhanced handovers has...